Verification of agent knowledge in dynamic access control policies∗ Masoud Koleini, Eike Ritter and Mark Ryan School of Computer Science The University of Birmingham Birmingham, B15 2TT, UK

Source URL: www.cs.bham.ac.uk.

StatVerif: Verification of Stateful Processes Myrto Arapinis and Eike Ritter and Mark D. Ryan School of Computer Science, University of Birmingham, UK Abstract—We present StatVerif, which is an extension the ProVerif p

Source URL: www.cs.bham.ac.uk.

Citations and Sub-Area Bias in the UK Research Assessment Process Alan Dix Talis, Birmingham, UK and University of Birmingham, Birmingham, UK http://alandix.com/ref2014/

Source URL: ascw.know-center.tugraz.at

A knowledge-based verification method for dynamic access control policies Masoud Koleini and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK {m.koleini,m.d.ryan}@cs.bham.ac.uk

Source URL: www.cs.bham.ac.uk.

Syllogism Solving Under Time Pressure Gondy Leroy, Catholic University of Leuven Koen Lamberts, University of Birmingham The effects of time pressure on syllogistic reasoning and the mental models theory in particular ar

Source URL: web.cgu.edu

Building Confidence in Self-Aware, Self-Expressive Systems Peter Lewis University of Birmingham, UK

Source URL: www.aware-project.eu

Combining Logics for Multi-agent Systems Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT

Source URL: www.cs.bham.ac.uk.

4889511049000THE VISIONARY AWARD The Visionary Award was established by the EyeSight Foundation of Alabama on the occasion of its tenth anniversary in 2007 to recognize extraordinary service by an organization or an ind

Source URL: www.eyesightfoundation.org

• University of Alabama at Birmingham
• University of Alabama School of Medicine
• Alabama
• Vision
• Callahan